Section: New Results

Tools for numerically guaranteed computations

Participant : Sylvain Chevillard.

The overall and long-term goal is to enhance the quality of numerical computations. The software tool Sollya (see Section 3.4.5), developed together with C. Lauter (Université Pierre et Marie Curie) intends to provide an interactive environment for performing numerically rigorous computations. During year 2016, we released version 5.0 (in June) and version 6.0 (in October) of Sollya. Among other things, these releases have heavily improved the internal handling of polynomial expressions and the speed of the faithful evaluation of functions. They also make the library API more complete and fix most of the reported bugs. Another important novelty of 2016 is that Sollya is now officially included in the Debian Linux distribution.